From 44d59bde635aba989bbe5132fe35f5cee7842e98 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Thu, 25 Aug 2005 00:49:30 +0000 Subject: [PATCH] minor issue, really. --- maintenance/diffLanguage.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/diffLanguage.php b/maintenance/diffLanguage.php index a9885996ad..0b028a7a4d 100644 --- a/maintenance/diffLanguage.php +++ b/maintenance/diffLanguage.php @@ -75,7 +75,7 @@ function ucfirstlcrest($string) { function getMediawikiMessages($languageCode = 'En') { $foo = "wgAllMessages$languageCode"; - global $$foo; + global $$foo, $wgSkinNamesEn; // it might already be loaded in LocalSettings.php if(!isset($$foo)) { -- 2.20.1